universal quantifier
noun
: a logical quantifier that asserts all values of a given variable in a formula
Love words? Need even more definitions?
Merriam-Webster unabridged
Share